Window: Focus custom titlebar with F10
authorPhillip Wood <phillip.wood@dunelm.org.uk>
Tue, 4 Mar 2014 11:06:30 +0000 (11:06 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 10 Mar 2014 00:26:54 +0000 (20:26 -0400)
commitbeaba95f398844b553e95b02196344e08a61e23f
tree9ca4c7af42df8baa81ab68d7a65955b8f99f0b24
parent0da3fc8b566c826e3972192bed91407faf6271cd
Window: Focus custom titlebar with F10

As discussed on desktop-devel-list [1], "There should be an intuitive,
consistent, immediate way to jump to the widgets that live in the
header bar." F10 has been suggested for this as it is already used to
active menubars.

F10 will focus the custom titlebar widget if the window has one and it
isn't already focused. If the titlebar widget doesn't exist or is
already focused then F10 focuses the menubar if there is one.

[1] https://mail.gnome.org/archives/desktop-devel-list/2014-February/msg00176.html

https://bugzilla.gnome.org/show_bug.cgi?id=725141
gtk/gtkmenubar.c
gtk/gtkmenubar.h
gtk/gtkwindow.c